1. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
2. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
3. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
4. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
5. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: دانشگاه علم و فناوری مازندران (مازندران)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
6. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
7. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
8. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
9. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
10. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
11. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
12. Algorithmics: theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
13. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles, 5591-
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
14. Algorithms and data structures :
پدیدآورنده : Douglas Baldwin and Greg W. Scragg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Data structures (Computer science),Algorithmes.,Structures de données (Informatique),Algorithmus,Algorithmus.,Computer algorithms.,Data structures (Computer science),Datenstruktur,Datenstruktur.
رده :
QA76
.
9
.
A43
B35
2004
15. Automata, Languages and Programming :
پدیدآورنده : edited by Hermann A. Maurer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Information theory.,Software engineering.,Theory of Computation.
16. Automata, languages, and programming :
پدیدآورنده : edited by Jan Paredaens.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.
17. Automata, languages and programming :
پدیدآورنده : ICALP 93. A. Lingas ... (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Lund <1993>,Theoretische Informatik.
18. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
19. Computer Algebra :
پدیدآورنده : edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
20. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
